<html lang="en-US">

<head>
    
<title>Go 内存模型：happens-before 原则 - 花落雨忧</title>

<meta property="og:title" content="Go 内存模型：happens-before 原则 - 花落雨忧">



    



    
    <meta property="description" content="大家好，我是煎鱼。
在日常工作中，如果我们能够了解 Go 语言内存模型，那会带来非常大的作用。这样在看一些极端情况，又或是变态面试题的时候，就能够明白程序运行表现下的很多根本原因了。
当然，靠一篇普通文章讲完 Go 内存模型，不可能。因此今天这篇文章，把重点划在给大家讲解 Go 语言的 happens-before 原则这 1 个细节。
开吸，和煎鱼揭开他的神秘面纱！
[&amp;hellip;] 既然要 &amp;hellip;">
    <meta property="og:description" content="大家好，我是煎鱼。
在日常工作中，如果我们能够了解 Go 语言内存模型，那会带来非常大的作用。这样在看一些极端情况，又或是变态面试题的时候，就能够明白程序运行表现下的很多根本原因了。
当然，靠一篇普通文章讲完 Go 内存模型，不可能。因此今天这篇文章，把重点划在给大家讲解 Go 语言的 happens-before 原则这 1 个细节。
开吸，和煎鱼揭开他的神秘面纱！
[&amp;hellip;] 既然要 &amp;hellip;">
    






<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width,initial-scale=1">

<link rel="shortcut icon" href="https://www.lican.asia/logo/logo.png" type="image/x-icon" />



<link rel="stylesheet" href="/css/style.min.css" />

<link rel="stylesheet" href="/css/reset.min.css" />




<script src="https://www.lican.asia/js/highlight.min.js"></script>

<script>
hljs.configure({ ignoreUnescapedHTML: true })
hljs.highlightAll();
</script>


<script src="https://www.lican.asia/js/jquery.min.js"></script>




<link href="https://www.lican.asia/css/hugo-code.min.css" rel="stylesheet" />



    <style>
        .post-content img {
            max-width: 400px;
        }
    </style>
</head>

<body id="period" class="home blog">
    <a class="skip-content" href="#main">Press "Enter" to skip to content</a>
    <div id="overflow-container" class="overflow-container">
        <header class="site-header" id="site-header" role="banner">
    <div class="max-width">
        <div id="title-container" class="title-container">
            <div id="site-title" class="site-title"><a href="/">花落雨忧</a></div>
            <p class="tagline">思所及 力所行 方为真.</p>
        </div>
        
        <div id="menu-primary-container" class="menu-primary-container">
            <div class="icon-container">
            </div>
            <div id="menu-primary" class="menu-container menu-primary" role="navigation">
                <nav class="menu">
                    <ul id="menu-primary-items" class="menu-primary-items">
                        
                        
                        <li id="menu-item-0"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/posts" aria-current="page" tabindex="0">首页</a></li>
                        
                        <li id="menu-item-1"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/tech/" aria-current="page" tabindex="1">技术文档</a></li>
                        
                        <li id="menu-item-2"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/article/" aria-current="page" tabindex="2">文章</a></li>
                        
                        <li id="menu-item-3"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/project/" aria-current="page" tabindex="3">项目</a></li>
                        
                        <li id="menu-item-4"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/about/" aria-current="page" tabindex="4">关于</a></li>
                        
                    </ul>
                </nav>
            </div>
        </div>
    </div>
</header>

        <div id="primary-container" class="primary-container">
            <div class="max-width">
                <section id="main" class="main" role="main">
                    <div id="loop-container" class="loop-container">
                        <div
                            class="post type-post status-publish format-standard hentry entry">
                            <article>
                                <div class="post-container">
                                    <div class="post-header">
                                        <h2 class="post-title">
                                            <a href="/posts/posts/go/memory-model/">Go 内存模型：happens-before 原则</a>
                                        </h2>
                                        
                                        <div class="post-byline">Published on
                                            <a class="date" href="javascript:;">2021/12/31</a>
                                            
                                            
                                            
                                            
                                            
                                        
                                    </div>
                                    <div class="post-content">
                                        <p>大家好，我是煎鱼。</p>
<p>在日常工作中，如果我们能够了解 Go 语言内存模型，那会带来非常大的作用。这样在看一些极端情况，又或是变态面试题的时候，就能够明白程序运行表现下的很多根本原因了。</p>
<p>当然，靠一篇普通文章讲完 Go 内存模型，不可能。因此今天这篇文章，把重点划在给大家<strong>讲解 Go 语言的 happens-before 原则</strong>这 1 个细节。</p>
<p>开吸，和煎鱼揭开他的神秘面纱！</p>
<h2 id="内存模型定义是什么">内存模型定义是什么</h2>
<p>既然要了解 happens-before 原则，我们得先知道 The Go Memory Model（Go 内存模型）定义的是什么，官方解释如下：</p>
<blockquote>
<p>The Go memory model specifies the conditions under which reads of a variable in one goroutine can be guaranteed to observe values produced by writes to the same variable in a different goroutine.</p>
</blockquote>
<p>在 Go 内存模型规定：“在一个 goroutine 中读取一个变量时，可以保证观察到不同 goroutine 中对同一变量的写入所产生的值” 的条件。</p>
<p>这是学习后续知识的一个大前提。</p>
<h2 id="happens-before-是什么">happens-before 是什么</h2>
<p>Happens Before 是一个专业术语，与 Go 语言没有直接关系，也就是并非是特有的。用大白话来讲，其定义是：</p>
<blockquote>
<p>在一个多线程程序中，假设存在 A 和 B 两个操作，如果 A 操作在 B 操作之前发生（A happens-before B），那么 A 操作对内存的影响将会对执行 B 的线程可见。</p>
</blockquote>
<h2 id="a-不一定-happens-before-b">A 不一定 happens-before B</h2>
<p>从 happens-before 定义来看，我们可以反过来想。那就是：</p>
<blockquote>
<p>在同一个（相同）线程中，如果都执行 A 和 B 操作，并且 A 的声明一定在 B 之前，那么 A 一定先于（happens-before）B 发生。</p>
</blockquote>
<p>以下述 Go 代码例子：</p>
<pre tabindex="0"><code>var A int
var B int

func main() {
 A = B + 1  (1)
 B = 1      (2)
}
</code></pre><p>该代码是在同一个 main goroutine，全局变量 A 在变量 B 之前声明。</p>
<p>在 main 函数中，代码行 (1)，也在代码行 (2) 之前。因此我们可以得出 (1) 一定会在 (2) 前执行，对吗？</p>
<p>答案是：错误的，因为 A happens-before B 并不意味着 A 操作一定会在 B 操作之前发生。</p>
<p>实际上在编译器中，上述代码在汇编的真正执行顺序如下：</p>
<pre tabindex="0"><code> 0x0000 00000 (main.go:7) MOVQ &#34;&#34;.B(SB), AX
 0x0007 00007 (main.go:7) INCQ AX
 0x000a 00010 (main.go:7) MOVQ AX, &#34;&#34;.A(SB)
 0x0011 00017 (main.go:8) MOVQ $1, &#34;&#34;.B(SB)
</code></pre><ul>
<li>
<p>(2)：加载 B 到寄存器 AX。</p>
</li>
<li>
<p>(2)：进行 B = 1 赋值，在代码中执行为 INCQ 自增。</p>
</li>
<li>
<p>(1)：将寄存器 AX 中值加上 1 后赋值给 A。</p>
</li>
</ul>
<p>通过上述分析，我们可以得知。在代码行 (1) 在 (2) 之前，但确实 (2) 比 (1) 更早执行。</p>
<p>那么这是不是意味着违反了 happens-before 的设计原则，毕竟这可是同个线程里的操作，Go 编译器有 BUG？</p>
<p>其实不然，因为对 A 的赋值实质上对 B 的赋值没有影响。所以并没有违反 happens-before 的设计原则。</p>
<h2 id="go-语言中的-happens-before">Go 语言中的 happens-before</h2>
<p>在 《The Go Memory Model》 中，给出了 Go 语言中 Happens Before 的明确语言定义。</p>
<p>以下术语将会在介绍中用到：</p>
<ul>
<li>
<p>变量 v：一个指代性的变量，用于示例演示。</p>
</li>
<li>
<p>读 r：代表读操作。</p>
</li>
<li>
<p>写 w：代表写操作。</p>
</li>
</ul>
<h3 id="定义">定义</h3>
<p>在满足如下两点条件下，允许对变量 v 的读 r 观察对 v 的写 w：</p>
<ol>
<li>
<p>r 在 w 之前没有发生。</p>
</li>
<li>
<p>没有其他写到 v 的 w&rsquo; 发生在 w 之后但在 r 之前。</p>
</li>
</ol>
<p>为了保证变量 v 的读 r 观察到对 v 的特定写 w，确保 w 是唯一允许 r 观察的写。</p>
<p>因此如果以下两点都成立，就能保证 r 能观察到 w ：</p>
<ol>
<li>
<p>w 发生在 r 之前。</p>
</li>
<li>
<p>对共享变量 v 的任何其他写入都发生在 w 之前或 r 之后。</p>
</li>
</ol>
<p>这看起来比较生涩，接下来我们以《The Go Memory Model》 中具体的 channel 例子来进行进一步说明，会更好理解一些。</p>
<h2 id="go-channel-实例">Go Channel 实例</h2>
<p>在 Go 语言中提倡不要通过共享内存来进行通讯；相反，应当通过通讯来共享内存：</p>
<blockquote>
<p>Do not communicate by sharing memory; instead, share memory by communicating.</p>
</blockquote>
<p>因此在 Go 工程中，Channel 是一个非常常用的语法。在原则上其需要遵守：</p>
<ol>
<li>
<p>一个 channel 上的发送是在该 channel 的相应接收完成之前发生的。</p>
</li>
<li>
<p>channel 的关闭发生在接收之前，因为通道被关闭而返回一个零值。</p>
</li>
<li>
<p>一个无缓冲 channel 的接收发生在该 channel 的发送完成之前。</p>
</li>
<li>
<p>一个容量为 C 的 channel 上，第 k 次接收发生在该 channel 的第 k+C 次发送完成之前。</p>
</li>
</ol>
<p>接下来根据这四条原则，我们逐一给出例子，用于学习和理解。</p>
<h2 id="例子-1">例子 1</h2>
<p>Go channel 例子 1，你认为输出的结果是什么。如下：</p>
<pre tabindex="0"><code>var c = make(chan int, 10)
var a string

func f() {
 a = &#34;炸煎鱼&#34;   (1)
 c &lt;- 0        (2)
}

func main() {
 go f()
 &lt;-c           (3)
 print(a)      (4)
}
</code></pre><p>答案是空字符串吗？</p>
<p>程序最终结果是正常输出 “炸煎鱼” 的，原因如下：</p>
<ul>
<li>
<p>(1) happens-before (2) 。</p>
</li>
<li>
<p>(4) happens-after (3)。</p>
</li>
</ul>
<p>当然，最后 (1) 写入变量 a 的操作，必然 happens-before 于 (4) print 方法，因此正确的输出了 “炸煎鱼”。</p>
<p>能够满足 “一个 channel 上的发送是在该 channel 的相应接收完成之前发生的”。</p>
<h2 id="例子-2">例子 2</h2>
<p>主要是确保了关闭管道时的行为。只需要在前面的例子中，替换 <code>c &lt;- 0</code> 成 <code>close(c)</code> 就能够产生具有相同的行为保证的程序。</p>
<p>能够满足 “channel 的关闭发生在接收之前，因为通道被关闭而返回一个零值”。</p>
<h2 id="例子-3">例子 3</h2>
<p>Go channel 例子 3，你认为输出的结果是什么。如下：</p>
<pre tabindex="0"><code>var c = make(chan int)
var a string

func f() {
 a = &#34;煎鱼进脑子了&#34;    (1)
 &lt;-c                 (2)
}

func main() {
 go f()
 c &lt;- 0              (3)
 print(a)            (4)
}
</code></pre><p>答案是空字符串吗？</p>
<p>程序最终结果是正常输出 “煎鱼进脑子了” 的，原因如下：</p>
<ul>
<li>
<p>(2) happens-before (3)。</p>
</li>
<li>
<p>(1) happens-before (4)。</p>
</li>
</ul>
<p>能够满足 “一个无缓冲 channel 的接收发生在该 channel 的发送完成之前”。</p>
<p>如果我们把无缓冲改为 <code>make(chan int, 1)</code>，也就是带缓冲的 channel，则无法保证正常的输出 “煎鱼进脑子了”。</p>
<h2 id="例子-4">例子 4</h2>
<p>Go channel 例子 4，这个程序为工作列表中的每个条目启动一个 goroutine，但 goroutine 使用 channel 进行协调，以确保每次最多只有三个工作函数在运行。</p>
<p>代码如下：</p>
<pre tabindex="0"><code>var limit = make(chan int, 3)

func main() {
 for _, w := range work {
  go func(w func()) {
   limit &lt;- 1
   w()
   &lt;-limit
  }(w)
 }
 select{}
}
</code></pre><p>能够满足 “一个容量为 C 的 channel 上，第 k 次接收发生在该 channel 的第 k+C 次发送完成之前”。</p>
<h2 id="总结">总结</h2>
<p>在本文中，我们针对 happens-before 原则进行了基本的说明。同时结合 Go 语言中实际的 happens-before 和 happens-after 的场景进了展示和讲解。</p>
<p>实际上，在日常的开发工作中，happens-before 原则基本已经深入到潜意识中，就跟设计模式一样。会不知觉就应用到，但是若我们希望更进一步的对 Go 语言等内存模型就行研究和理解，就必须对这个基本理念有所认知。</p>
<p>你平时有没有注意到这块的问题呢，欢迎大家留言和讨论！</p>
<h2 id="鼓励">鼓励</h2>
<p>若有任何疑问欢迎评论区反馈和交流，<strong>最好的关系是互相成就</strong>，各位的<strong>点赞</strong>就是<a href="https://github.com/eddycjy">煎鱼</a>创作的最大动力，感谢支持。</p>
<blockquote>
<p>文章持续更新，可以微信搜【脑子进煎鱼了】阅读，本文 <strong>GitHub</strong> <a href="https://github.com/eddycjy/blog">github.com/eddycjy/blog</a> 已收录，学习 Go 语言可以看 <a href="https://github.com/eddycjy/go-developer-roadmap">Go 学习地图和路线</a>，欢迎 Star 催更。</p>
</blockquote>
<h2 id="参考">参考</h2>
<ul>
<li>
<p>The Go Memory Model</p>
</li>
<li>
<p>Go内存模型&amp;Happen-Before（一）</p>
</li>
<li>
<p>GoLang 内存模型</p>
</li>
<li>
<p>Golang happens before &amp; channel</p>
</li>
<li>
<p>Go 内存模型</p>
</li>
</ul>


                                        
                                        
                                        
                                        <div class="rp4wp-related-posts">
                                            <h3>相关文章</h3>
                                            <ul>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/real-context/">分享 Go 使用 Context 的正式姿势</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/unsafe-pointer/">详解 Go 团队不建议用的 unsafe.Pointer</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/slice-string-header/">Go SliceHeader 和 StringHeader，你知道吗？</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/value-quote/">群里又吵起来了，Go 是传值还是传引用？</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/empty-struct/">详解 Go 空结构体的 3 种使用场景</a>
                                                    </div>
                                                </li>
                                                
                                            </ul>
                                        </div>
                                        
                                        
                                    </div>

                                    
                                    
                                    

                                    
                                    <div class="post-meta">
                                        
                                        
                                        <div class="post-tags">
                                            <ul>
                                            
                                            <li>
                                                <a href="/tags/go" title="View all posts tagged match">go</a>
                                            </li>
                                            
                                            </ul>
                                        </div>
                                        
                                        
                                        <nav class="further-reading">
                                            
                                            <div class="previous">
                                                <span>&lt;&lt; Prev</span>
                                                <a href="https://www.lican.asia/posts/posts/go/real-context/"
                                                    rel="prev">分享 Go 使用 Context 的正式姿势</a> </div>
                                            
                                            
                                            <div class="next">
                                                <span>Next >></span>
                                                <a href="https://www.lican.asia/posts/posts/go/117-build/">时隔 3 年，Go1.17 增强构建约束！</a> 
                                            </div>
                                            
                                        </nav>
                                    </div>
                                    
                                    

                                    
                                    
                                    

                                </div>
                            </article>
                        </div>
                    </div>
                </section>
                <aside class="sidebar sidebar-primary" id="sidebar-primary" role="complementary">
    <h1 class="screen-reader-text">Sidebar</h1>
    

    
    
    <section id="text-2" class="widget widget_text">
        <div class="textwidget">
            
            <div id="profile">
                <div id="profile_picture"><img src="https://www.lican.asia/logo/logo.png"></div>
                <div id="profile_intro">
                    <p><span class="name">Lican</span></p>
                    <p class="intro">全栈开发者，爱好造轮子。</p>
                </div>
            </div>
            
            <p>
                <script type="text/javascript">
                    (function ($) {
                        $(document).ready(function () {
                            var menuPrimaryContainer = $('#menu-primary-container');
                            var profile = $('#text-2');
                            $('#toggle-navigation').click(function () {
                                if (menuPrimaryContainer.hasClass('open')) {
                                    profile.removeClass('open');
                                } else {
                                    profile.addClass('open');
                                }
                            });
                        });
                    })(jQuery);
                </script>
            </p>
        </div>
    </section>
    
    
    
    
    
    <section id="text-5" class="widget widget_text">
        <h2 class="widget-title">开源项目</h2>
        <div class="textwidget">
            <div id="projects" style="line-height: 22px;">
                
                <a href="https://github.com/idoubi/gonews"
                    target="_blank">gonews</a>: &nbsp;Daily news for golang<br>
                
                <a href="https://github.com/idoubi/sql2struct"
                    target="_blank">sql2struct</a>: &nbsp;Generate go struct according to SQL<br>
                
                <a href="https://github.com/idoubi/goz"
                    target="_blank">goz</a>: &nbsp;Request library used in golang<br>
                
        </div>
    </section>
    
    

    
    
    
    
    <section id="qrcode" class="widget widget_media_image">
        <h2 class="widget-title">微信公众号</h2>
        <img width="258" height="258"
            src="https://www.lican.asia/wechat/lican.png"
            class="image wp-image-5514  attachment-full size-full" alt=""
            style="max-width: 100%; height: auto;"
            sizes="(max-width: 258px) 100vw, 258px">
    </section>
    
    

    
    
    

    
    
    

    
    
    
    
</aside>
            </div>
        </div>

        <footer id="site-footer" class="site-footer" role="contentinfo">
    <div class="max-width">
    </div>
    <div class="footer">
        <div id="footercontent">
            © lican.asia All rights reserved<br/>
            Built with Hugo Theme <a href="https://github.com/idoubi/hugo-theme-period" target="_blank">Period</a>
        </div>
    </div>
</footer>

<script>
    var _hmt = _hmt || [];
    (function() {
      var hm = document.createElement("script");
      hm.src = "https://hm.baidu.com/hm.js?e8351b6d4626d5881d439ea1f6184baa";
      var s = document.getElementsByTagName("script")[0]; 
      s.parentNode.insertBefore(hm, s);
    })();
</script>
    
    
    </div>
    
</body>

</html>